Categories and Functors for the Structural-phenomenological Modeling
نویسنده
چکیده
A possible extension of the theory of categories to the structural-phenomenological domains of science is presented. Notions like phenomenological categories with phenomenological objects and morphisms and structural-phenomenological categories with objects formed both of structural and phenomenological parts are introduced. Concerning the functors, the most important are those between structural and phenomenological categories. The morphisms and the functors for the structural-phenomenological domains are also physical and informational processes, having a role in the reality of nature. In general, the physical and informational feasibility condition is essential for the adaptation and development of the theory of category into a mathematical structural-phenomenological theory of categories.
منابع مشابه
Products of Phenomenological Categories and Products of Phenomenological Functors
In this paper it is shown that the product of categories and the product of functors may be extended from the structural to the phenomenological domains. For the phenomenological domains the products of functors applies both to functors and autofunctors. Examples of such products representing feasible physical and informational processes are given in the case of the generation of a phenomenolog...
متن کاملAutofunctors and Their Meaning
Kato and Struppa (1999) proposed the notion of autofunctor. In the present paper, the meanings of this notion are analysed in the light of a proposed structural-phenomenological interpretation of the theory of categories (Draganescu 2000). The autofunctor may become important for phenomenological categories. It represents an informational and physical process, not only a mathematical notion. It...
متن کاملThe function ring functors of pointfree topology revisited
This paper establishes two new connections between the familiar function ring functor ${mathfrak R}$ on the category ${bf CRFrm}$ of completely regular frames and the category {bf CR}${mathbf sigma}${bf Frm} of completely regular $sigma$-frames as well as their counterparts for the analogous functor ${mathfrak Z}$ on the category {bf ODFrm} of 0-dimensional frames, given by the integer-valued f...
متن کاملOn descent for coalgebras and type transformations
We find a criterion for a morphism of coalgebras over a Barr-exact category to be effective descent and determine (effective) descent morphisms for coalgebras over toposes in some cases. Also, we study some exactness properties of endofunctors of arbitrary categories in connection with natural transformations between them as well as those of functors that these transformations induce between co...
متن کاملObservational Heterarchy as Phenomenal Computing
We propose the notion of phenomenal computing as a dynamical pair of a computing system and the environments of executing computation. It is expressed as a formal model of observational heterarchy inheriting robustness against structural crisis. Observational heterarchy consists of two different categories connected by pre-adjoint functors where inter-categories operations are defined as pre-fu...
متن کامل